perm filename CMTC10.360[360,GF] blob
sn#868305 filedate 1989-01-11 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_L'#~Lπ∀ Ec↓h∞B@5_αT`U_↓ %⊂↓@ 5⊂↓@ 5⊂↓@ 5⊂↓@ 5⊂↓`%λ↓@`5λ↓@`5λ↓@`5λ↓@`5↓A 5↓A 5↓A 5↓A 4xα↓ Dx↓A`4xεSaTxεS@0H↓S@0H↓S@0H↓S@0H↓S 0X↓Ra(∧∩A⊂(∧Ra(∧⊃(D⊂
EcQhβi!λ%∧IP_∧↓)P_¬iP_¬↓ P_¬@iP_¬@iP_¬@iP_¬@iP_¬iP_∧A P_βA)Pp&CIPx&@a⊂ &@a &@a0_&@a@_&@a@_&@a@_&@a@_&@a@_&@a0 &@a &@a⊂(%∧i!⊂%∧λT !E"qh∞B P ↓T!⊂⊂↓Sb∧pαA thαα Th↓B`D`↓CD`↓C 4X↓C@4X↓C@4X↓R@4P↓R@4P↓R@4P↓R@4P↓R`4X↓C@4X↓C@4`↓C 4`↓C 4h↓B`4hαα DpαA TxεT!%_αQ(D ¬cQhβi!%∧)P_βA)P_∧A P_¬↓ P_¬@iP_¬A P_εiP_εiP_ε↓ P_ε@iP_ε@iP_ε@iP_ε@iP_ε@iP_ε@iP_ε@iP_ε@iP_ε↓ P_εiP_εiP_¬A P_¬@iP_¬↓ P_∧A P_βA)!⊂%∧ x"QλQ8π#Pλ
RBdX
S@0`↓S@0`↓S@0`↓S@0`↓S@0`↓S@4p↓S@00↓S@00↓S@00↓SADpε∪ADp↓A@4p↓A@4p↓A@4p↓S@4p↓S@0h↓S@0h↓S@0h↓S@0h↓S@0h↓RbdPRbd("⊃Ba8∞G ⊃(%¬I1('a@_'a@_'a@_'a@_'a@_'i`_'``_'``_'``_'β ``'β `_βi`_βi`_βi`_'i`_'i`_'i`_'i0P%β 0P"Qλq(G#P@α@`5∧@ 4xπ∪@@(β∪ @8αS@Hα∪0X↓R`0`↓R`0`↓R`0`↓R@4P↓R@4P↓R@4P↓R@0H∧R@0H∧R@0H∧R@0h↓R`0`↓R`0`↓R`0Xα∪0Pα∪@@αS @8αS@@(β∪ae∧@ 5⊂α@`4("∩αQ8∞G H↓B) H↓B) H↓B)P_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iPx&CiPx&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_%α 0H%α 0H%α 0H"Q ⊃λ
G#PλRB∀PλT 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓RB∀PλRB∀("∩B18∞G ``(β*`+j`_+j`_+j`_+j`_+j`_+j`_+j`_+j`_+j`_+j`_%@A⊂_%↓↓_%↓p %↓` %C @P'↓HT %Ec↓h∞@↓⊂(βRA⊂ ∧RA⊂(βS 0Hα∪ 0@α∪ 0@↓S 08↓S 00α∪ 0(α∪ 0(↓S 0 ↓S 0_α∪ 0⊂α∪ 0⊂αS 0λβ∪ pλ↓S `⊂↓S P ↓S @(α∪ @0↓S 08α∪ 0@↓S 0H↓S 0H↓S 0P↓S 0P↓S 0X↓RA⊂0βRA⊂0∧∩A⊂0βQ(D`
EcQhBI `%BI`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'a0_'a0_'a0_'a0_'a0_%E !(%EλT &F#⊃h∞@ `Xβ∩AH∧∩`pHβS 0λ↓↓` λ↓S 0λ↓↓` λ↓S 0λ↓↓` λ↓S 0λ↓A 0λ↓S 0λ↓A 0λ↓S 0⊂↓↓ ⊂↓S 0⊂↓↓ ⊂↓S 0⊂↓@`0⊂↓S 0⊂↓@`0⊂↓S 0_↓` _↓S 0_↓@ 0_↓S 0_↓@ 0_↓S 0 ↓ ↓S 0 ↓ ↓S 0 αA4h↓A 0(↓S 0(↓A 4h↓C 4h↓C 4h↓C 4h↓C 4h↓C 4h↓C 4h↓C 4XβB tP∧Aa∀XβB t("∪BQ8∞G 8αB) @αα) @αα)P_@@`_&@`⊂⊂βiP_@@`_&@`⊂⊂βiP_@`P_&@` ⊂α@iP_↓@P_&@` _αiP_↓`@_&@`0⊂αiP_↓@@@_&@`0_↓@iP_↓@`0_&@`@⊂↓@iP_α@0_&@`@_↓iP_α` _&@`P⊂↓iP_α@@ _&@`P_@iP_β@⊂_&@``⊂@iP_β@⊂_&@``⊂@i Hα↓) Hα↓) HαAλT 'Dbah∞A↓4`πRb∀XαA`TX↓B`4Pαα`DP↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4Pαα`DPαα`DX↓B`4XαA`TXλS↓tp¬Q(E¬cQhCi!⊂%DI`_∧↓)`_¬↓ `_¬@i`_¬A `_εi`_εi`_εi`_εi`_¬A `_¬@i`_¬↓ `_∧↓)`x'βI``'i`_'i`_'i`_'i`_'i0H%αi0H"Q
⊃_ βP ¬S↓tXλR`P8αR`0X↓R@@Xα∩@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@0h↓R@00↓A4P↓A @ ↓R@@(α@DX↓A @⊂↓R`P ∧∩b∀`πSA50α∃`58α⊗5@α⊗ 5H↓Q(E⊂F#Qhβ p%∧ P_β↓)P_βA P_∧↓ P_∧@iP_∧@iP_∧@iP_∧@iP_∧↓ P_βA P_β↓)Ph&BiP`&@`` &@`p_&@a_&@a_&@a_&@a_&@a_&@a_α)P_∧`0_&@a_↓@iP_∧`0_%α `8%α `8%α!_"Q
1_π#P0β`4p¬ 4`λ∩`P0β∩`0Pα∩@0Xα∩@0`↓R@0`↓R@0`↓R@4X↓R`D`β∪!∀x¬∀A¬0αVEH↓V@5P↓R` h↓R@0h↓R@0h↓R@0`↓R@@X↓R@`8α∩B∀P↓@!4P↓@`t("∃αq@∞G ⊃0%¬i!8%`p_β@i _β@`p_%`p_β@i _β@`p_%`p_β@j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_(αiph(αhT *F#⊃h∞@!⊂(∧RA0_¬Ra⊂(∧S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S@0X↓S`0H↓S`0H↓T08↓T@(α∀!5⊂∧UT("∃Bq@∞G @βB HαB) @βB P_¬@iP_¬@iP_¬@i`_∧@i`_∧@i`_∧@i`_∧@ip_β@ip_β@ip_β@ip_β@j_α@j_α@j_α@j_α@j⊂_↓@j⊂_↓@j⊂_↓@j⊂_↓@j ⊂↓@J _@j _@j _@j0⊂@J0()A*@_"Q
q8π#PβB tP∧↓a∧PβB tX↓C`4`↓C 4`↓C 4`↓C 4`↓C 4`↓C 4`↓C 4`↓C 4`↓C 4h↓↓P ↓∪ 0_α@`4h↓@`P_↓S 0⊂↓@ 0⊂↓S 0⊂↓@ 0⊂↓S 0⊂↓@ 0⊂↓S 0⊂↓@ 0⊂↓S 0⊂↓@ 0⊂↓S@ ⊂↓` ⊂↓∪@ ⊂↓` ⊂↓∪@ λ↓@`0λ↓∪@ λ↓@`0λ↓∪@ λ↓↓ λ↓∪@ λ↓↓ λ↓∪@ λ↓↓ λ↓∪@P(αS@P(αS`08↓Q(E@FβQhB@@%B H%B@@'↓p_'@``_'AP_(`@_(↓0_(@` _(A⊂_)↓J 0)A
0 )A
0()A* 8)`⊂_(@` (@`0_(`@ (`P_'@`` '@`p_'a 'a⊂_%BP@%α PH%BP@"Q⊃8π#P∧↓a∧P∧A!∀P∧↓a∧hαα Dp↓B 4p↓B 4x↓A`4x↓A`5↓A 5↓A 5α`Eλ↓@`5λ↓@`5⊂↓@ 5⊂↓@ 5_αT`U ↓U5 ↓U5 ↓U5 ↓U5 ↓U5λ∧T!∃λ∧Q(EP
EcQh↓∧i1 %E 0_ε@i0_εi0_¬A 0_¬@i0_¬jp +@j`_*A
P_*j0 )↓
_(@j (ip_'↓↓ _'a0_&@a@_&↓↓@_&aP_%@a`_%¬)!(%¬(T ¬"qh∞@"DP
RbDp↓B`4p↓B`4p↓B`4p↓B`4p↓B`4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓S@4p↓Ra$Pε∩a$(""Q8∞G!⊂_)↓* ((@`⊂_(@`⊂_(@`⊂_(@@0⊂(`0_(`0_(`0_'@`P_'@`P_'@`P_'`p_'`p_'`p_&Ap &@a⊂_&@a⊂_&@a⊂_&a0_&a0_&a0_%@aP_%@aP_%@aP_%↓↓P %¬)!(%¬(T ↓∧bah∞A↓4`πRb∀XαA`TX↓B`4Pαα`DP↓C 4P↓C 4P↓C 4P↓C 4P↓C 4P↓A⊂_A4P↓@`0λ↓@`4P↓@`p_↓R@0_β@`4P↓@`p_↓R@0_β@`4P↓@`0λ↓@`4P↓A⊂_A4P↓C 4P↓C 4P↓C 4P↓C 4P↓C 4Pαα`DX↓B`4XαA`TXλS↓tp¬Q(@_FβQh¬j0()A*0⊂@J _@j _@j _@j ⊂↓@J⊂_↓@j⊂_↓@j⊂_↓@j⊂_↓@j⊂_↓@j_α@j_α@j_α@j_α@ip_β@ip_β@ip_β@ip_β@ip_β@i`_∧@i`_∧@i`_∧@i`_∧@iP_¬@i0@αB HαB)0@αBλT α¬"qh∞@"DP
RBTP↓C`4P↓C`48β↓⊂XS 0H↓S!thπS!th↓B 4pB`∀8β@0x↓R@0x↓RBTP
RbD("↓"Q8∞G ↓(%¬)!(&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_%α 0H%α 0H%α 0H"Qa(G#Pλ
∩BTP
R`0p↓S0h↓S0h↓S 0`↓S 0`↓S@4pα∪`5↓T5λ↓T 5λ↓T 5↓T4x↓S@Dp↓S 0`↓S 0`↓S0h↓S0h↓R`0p↓RbDP
RbD("↓bQ8∞G 0 βA @8↓Ai0_↓`0_↓i ↓@`⊂_↓A _α@@⊂⊂α@i _α@@⊂⊂α@i _β ⊂λβj0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@jH'BjH"Q↓↓(G#P(¬Sa4x¬T`5_↓T`5_↓T tpεS!t`α@@0⊂αR`@ ↓ADX↓A 0(↓R@00↓A@4P↓A@00↓R@00↓A@4P↓A@00↓R`0(↓A 4Xα↓0 α∪P⊂↓@@ThπSAUλβT`5_↓T`5_↓Sa4x¬Sa4("α"Q8∞G `H'BjH)@j0_)@i0⊂β``_%↓P_αA (α`@(&`@_αi@_α`@_&`@_αi@_α`@_&`@_αi@_α`@_&`@_αiP_↓@`0_&@`0_↓@iP ↓` '↓⊂_A pX(α* ()@j0_)@j0_(α)pX(α(T ¬¬"qh∞A`tx¬SAThα↓`D`αα DXαα`DX↓C 4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4P↓C`4X↓C 4X↓C 4X↓C 4`↓B`4`↓B`4h↓B 4h↓B 4h↓B 4p↓A`4p↓A`4p↓A`4P↓@@0(↓@@4P↓@@0(↓@@4P∧↓!∧P∧↓!∧XβA@t("α10∞G p('B)`X&A 0(&@`p_&a⊂_&a⊂_%@a0_%@a0_%@a0_%aP_%aP_%aP_%aP_%aP_%aP_%aP_%aP_%aP_%↓↓0 %@a0_%@a0_%A↓⊂ &a⊂_&↓p &@`p_&A 0('αipH(A(T _DαQh∞B%λ↓T 5α∪`Tpβ∩a∀Pβ 4X↓@`5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 4XπRB∧XπQ(C⊂ ECQhβ↓I`P&C)@ β↓)0 ∧A 0_¬@i _ε@i εi εi0⊂ε@k _-k⊂_,@k_+A
` +j@ )A* (A
'A ` &A↓⊂_&↓↓ _%DI!_%DHT →E"qh∞A`tx¬S!dhα↓`D`αα 4`αα@4`αα@5P↓V@5H↓VE8α∀!∃λ∧T!5@αV@EX↓W5`↓W4X↓β`4Pαβ@4Pαβ@4P↓C@4X↓CDXβ↓`T`λ∪AEλβQ(C FβQhε↓*P0*↓j@_@j0 @j ↓j _↓@j⊂ ↓@j αj_α@ip α@i` βi`_β@iP β@i@ ∧i@_∧@i0 ∧@i ¬i!8%¬i!8,k_,k_,k_)C*0h)C(T ~Dbah∞@B∧`λ∪α∧`↓S4`↓S4`↓S4`↓S4`↓@@d`εS↓d`αA@D`↓B D`↓α`5H↓V@5P↓V@4X↓β 4Pαβ4Pαα`4P↓C4X↓B@4XαA@T`π∪A%β⊃(C0 ECQh∧AJ⊂P(β p β↓ ` βA P ∧↓ @ ¬I@_%@i0_%@i _α↓I _↓αI!%↓`` %↓!⊂ %↓↓0_%↓↓@_%↓↓@_%aP_%↓↓@_%@a@_%@a@_%@a0_&a _&↓↓_&AP('β pH(A(T ≠E"qp∂4P
RBTP
R@0hα∩@0`α⊗E@↓U`50α∃@5(↓U 5 ↓U5 ↓T`5_↓T`5⊂↓T@5⊂↓T@5λ↓T 5λ↓T 5λ↓T 5λ↓T 4("∞αQ8∞G p8'BiPx&A P(&↓↓⊂ %A↓0 %@aP_%@aP_%@aP_%A↓0 &a0_&Ap 'β*H'BiP0↓AI@ ∧A 0 ¬A 0_ε@i _π@i _π@i _π@i _π@i εA 0_ε@i0 ¬A @(βA)Px'Bj⊂8"Qπ⊃_π#P8αSa∀hε∪P(α∪0@α∩`0P↓R`0X↓R@0`↓R@0`↓R@0`α∩@0h↓R@0h↓R@0`α∩`0Xα∩`@HαS@0βS"∧p¬@5β↓5H↓V 5H↓V4X↓α`4Pαα 4PααDPα↓@TXεS↓$pβ⊃(B EDb⊂∧@J _)j _)j8'αiPp&↓ _↓↓)0 ↓@`@_%@`@_α@i _α@`P_%`P_α↓ _α@`@ %`P_α@I0_αi0 ↓@i@H&B)pH)α
_A* _↓A
_αj _α@i α`P_%↓@_α@i α`P_%`P_α@i0_α`@_%A0_↓A @ ↓`⊂(&C)`X(↓J _)j _)@HT ∪¬Bqh∞B5β∪a∧x↓@@4p↓A4p↓A4p↓A4p↓A4p↓@`Dp↓@`0⊂βS@0⊂↓@`tp↓@ @_βS`` ↓S`P(↓S`@0↓S`@(↓S@P(↓S `(↓S@λ↓@`4Xα@0_↓R`0 ↓@ 4P↓A tP↓A@dP↓A`@0R@08α↓ 4X↓A ` ↓R`@_∧`4`∧@A∧hβAtpαA@D("∂b10∞G P@&C)1%A↓(%a@ %↓↓@_%↓↓@_%@A@_+A*P0*↓*0 )↓
⊂ (A
⊂ (A
⊂ (A
⊂_#A p_(↓*((↓*⊂_"Q↓q_π" 8↓TUαTUλ↓Q`P8↓T Eλα∀Eα∀Eα∪`Dpα∪ T`αR`DPαβ$P↓CDP↓CDP↓C 4Xαα DXλS!Tx∧Q(AhFβQhβ∧ qλ(∧
⊂_↓`@_(@` _αj⊂_↓`@_(@` _αj_↓@`@_(`0_(`0_(`0_(`0_'@`@_'@`@P'@`@P'@`@P'@`@_'`P_'αi`X'αi`_α@iP_β`P_&@``_α@iP_β`P_&@``_α@iP_β`P_%A@@`%α h%A@@`"Qβa8π#P SαTX∩`@(αA 4X↓A`@(↓R@@8α↓ 4P↓B@(↓R@0@α↓ 4P↓BDP↓BDP↓B 4P↓B 4P↓B 4P↓B!$P↓B!$P↓B!$P↓B 4P↓B 4P↓B 4P↓B 4P↓BDP↓BDP↓B@(↓R@0@α↓ 4Pα↓`@(↓R`08α↓ 4Xα↓ P(↓Rbd`
SB4("πb10∪λ!P_+@jp_+i`X&βi1λ%A P8%@`p_@i β@`⊂ %`p_↓@i _β@`0_%`p_↓@i _β@`0_%``_αi _β`@_%``_αi _α@`P_%`P_α@i _α@`P_%`P_α@i _α``_%`@_βi _α``_%`0_β@i _↓@`p_%`0_β@i _↓@`p_%↓⊂_βA 0_@`p_%A`P(%D)@x'αi`_&@iP_&@i`λ"Q∧⊂(πG#Pλ↓R@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TXα∩`48α@ 4PαR@TPαR`4("β@Px∞D@⊂_%↓) (%↓)0_#A ⊂_%A (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%@hT ⊃E"qh∞A` 0↓∀@ α∀@ α∀@ α∀@ α∀@ α∀@ α∩b4P
RBTP
S`@ α∪`@ α∪`@ α∪@P_αS@@ α∪@@ α∪@@ α∪@@ α∩BTP
RBTX S @ α∪ @ α∪ @ α∪ @ α∪ @ α∪ @ α∪@ 0↓⊃(B(
Edb⊂↓@A0⊂&↓↓⊂ %AA %A@p(%` _β↓ _↓`` %` _αA) _↓`P %` _α↓) _↓`@ %` _α↓ 00α↓)00α↓ @ αA P⊂αA*@ )A*0 )A
()↓
(A*⊂ (↓* (↓`⊂'A @0'AP0'A@_↓i`(α` _'↓P_↓iP(α@` _&A`_↓iP β` _&↓ `_↓i@ ∧↓I@ ∧↓IP⊂¬@HT ∪Bαx∞@`4`αST`β∪ Tx↓S`4x↓S`4p↓S@4h↓SDXα∩@DX↓⊃(B@εE$r⊂¬j0 )↓
⊂ (↓ p '↓ `_&@iP_&i@_%@i0_%@i _%i _%i _%i _%i _%i0_%@i0_&i@_&@iP_'i` 'A
(A
()A
@_"Q¬⊂hλId λ↓∩@DXα∪Dhα∪@Dxα∀5λ↓T 5⊂↓T@5_↓T`5_↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓T`5_↓T`5⊂↓T@5λ↓T 5↓S`Dpα∪ D`α∩`DPα∩`$("
B10
ε!_)j _)i0λβ``λ%↓@_α↓ (↓@`0(%A@⊂_AIPh'B*8'B)Ph%A@⊂_AI (↓@`0(%↓@_α↓ 0λβ``λ)j _)j _"Q¬1(E#⊂P↓∀`E_α∀`E_α∀`E_α∀`E_α∩b4P
RBTX T`E_α∀`E_α∀`E_α∀`E_α∃$("↓↓λε↓ 0⊂&↓)00%Ai@0&A)p_'i`_&@i 0%↓) _"Q¬`0λ↓ P⊂↓∩`DPβ∩@dXα∪$("b10∪λB⊂,A⊂ ,↓+ +A*p +↓*` +↓
P(*A
@(*↓
0()A
0 )↓* (A*⊂ (↓* (↓ p('A `('↓ P(&A P &↓)@ %A)0 %↓) %↓ 0⊂"Qπ 0λ¬α@⊂↓∩`DPβ∩@dXα∪$8∧@@$Xα∩@dPβ∩`D`↓⊃(CXβDβ1 ↓@I@ %AI00&↓ P⊂#B 0⊂&↓ 00%AI@(&A `_'iP_&↓ (%↓ ⊂"QπQ(Bb@λ RBTP
Rb48α"4P
RBTX Q(D
¬CQh¬↓*⊂H(αip(α↓ ` β@iP α@`⊂_&↓@H&`@P%@`P_↓A)0_α`P %@`@_αA _α`p_%`@_β@i _α`p_%`@_β@i _α`p_%`@_β@i _α`p_%`@_β@i0_α`P_%@`@_α@i0_α@`0_&`@H&↓@8&AP_'↓↓⊂_'A P((β*⊂X*↓HT -C"r0⊃↓TPεRATP↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓RATPεRAT("↔!Px∪λ@h%β) h*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*j@_*i h%β) h"Q@λCd⊂(↓∪@Dhα∪D`↓R`4X↓R@4P↓R@4P↓R@TPβ∩`TXαS4("∧A!βπ _%↓ 0 &↓)P('A
_"Qα0P ACP8↓TDxα∪ T`αR`DX↓Q(A πEQXa⊂_%↓ P(%↓`⊂8&B)p((@(T
D"P(∞@ X↓R@0X↓R@@Hα∩at`εSA∀("¬B⊃(↓ε`↓λ%∧)1"QαpHλA#P⊂αR`tP↓@`4P↓@`4XβST("ε↓Q(ε@P⊂'@ip_'A p0'Aj0_)@j0_)↓ `%αI @"Q`x
↓CP8↓∪`Th∧SPλαR@P(αR@@8α∩`⊂XQ(GpλE Qhα@``⊂&A@@ &α (%↓ @%↓@0%@@`_"Q∂px
↓β`⊂↓↓`$Xα↓ DPαA TXα↓ D`↓↓`$(""10↓D⊃λ%∧i!_%D(T ε¬αqh∞B %⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∩@0(α↓ 4Pα@`@_αR``λα dhπ∪a%∧∀ e⊂α∀@E_↓⊃(@X
¬cQh∧@J )↓
⊂0(α pP&CI00A⊂0%↓ 0 ↓A) _αAP_)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
)↓
0⊂"QπA_ε#1↓⊗U8β∃@e βT`e⊂β∀txβ∪@d`βR`dPβ∩@dXβ∪tpβ∪`eβT@e_β∃u0β∃`e@αV@$("∂B10F`⊂⊂%↓) 0%AI@8'↓Ip0(↓j 0)AJ@8+↓Jp0+AJ`0*↓j00)↓J8'AI`0&↓i00%↓I (%@HT_¬x␈␈␈␈x_↓0␈␈␈␈X␈␈␈␈pD)!_%∧i1λ"QA_ D λ↓∩@DPα∩@TXα∩`T`α∪Thα∪ DhαS@DpαS`DxαTEα∀Uλα∀ U⊂α∀@U_α∀`E_αUE αU E(αU@E0α∃@U8α∃`U@α⊗UHα⊗ EP↓⊃(G`αβdb⊂@I %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %↓ %@HT =Dbb0⊃β e(∧∃↓∃_α∀@E⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T Eα∩A∀P∧∩A∃α∀ E⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@E_α∃↓∃(∧∃`d("∨"10∪λ@⊂(%α H(↓
⊂ )j _)j _)j _)j _)j _)j )A
@H*B
@H)A
)j _)j _)j _)j _)j _)j⊂ (↓ H%α 0("Q∧ x
β#Pλ↓A`4Pα↓`DPα↓`DPα↓`DPα↓`DPα↓`DPα↓`DPα↓`DPα↓`DX↓A`4X↓A`4X↓A`4X↓A`4X↓α $("β Pxππ@ λ%@i (%@i0_%@i0_%@i0_%@i0_%@i0_%@i0_"Q∧↓(DA0↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P↓∧ $P
RBT("_"a8Ea⊂ )A
0)@ ⊂)@ ⊂(@` _(@` _(@` _(`@_(`@_(`@_(`@_'@``_'@``_'@``_'βI`p'βI`_∧iP_¬iP_¬i00∧↓I @βα 00∧↓HT 1¬αa8@!dPλ∩b∀h↓BDh↓B Dh↓B@4h↓B@4h↓B@4h↓B Dh↓A`Thπ∪!ThπS 0@αS 0P↓S 0X↓S 0X↓S 0X↓S 0X↓S 0Pα∪ 0@αRb∀PλRad("_bA0Ea0↓@jP@ia&A `0&@a &a@_%A↓@_%@aP_%@i _%i _%i _%i0_%@aP_%A↓@_&a@_&@a _&A `('βJX)↓HT 2¬αa8@↓TPπRB∧`↓A`T`↓B D`↓B@4`↓B@D`↓B`4`↓B`D`↓C4`↓C4`↓C4`↓C4`↓C4`↓C4`↓B`D`↓B`4`↓B`4`↓B@D`↓B D`↓A`TPλ∩AtPεQ(F(
Ebq8Di! %DiP_¬@iP_¬@iP_¬@iP_¬@iP_&@`P_&@`P_&BiPX&BiP_α@iP_α@iP_&@iP_εiP_εiP_εiP_εi1 %¬)1 "Qa ¬bpλ RBDX S 0X↓S 0X↓S 0X↓S 0X↓S 4h↓A@4h↓A@4hε∪!Dhε∪ 00↓S 00↓S 4h↓S 4h↓S 4h↓Ra∧P∧Ra∧("→bA0E`p0↓iph'βIP β↓)@ ∧↓ @_¬i0_¬@i0_¬@i _%i _%i _∧α) _∧α) _∧α) _εi0_¬@i0_¬↓ @_∧A @ βA)P αAI`p'B ⊂_(A 0_"Q
↓ ¬bpβA@tPβA@tPβA@t`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`↓B@4`λ∪α∧`λ∪0P↓S0P↓S0P↓S0P↓S0P↓S0P↓S0P↓S0P↓R@p0βR@p0βR@p0βQ(FHεDbq8β) h%β)p_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@ip_'@i h%β) h"Q
!λ
Ebp8∧T↓5λ∧U 5(↓U 5(↓U 5(↓U 5(↓U 5(↓U 5(↓U 5(↓U 4X↓α4Pα↓`4Pα↓@DPεRa4hβQ(FX
¬Bq8↓`p0%↓``8%↓`p0&a⊂ &a &`p &`` &`P &`@ &`0 &` &`⊂0&αi@0↓i@(↓A @ αA @_β@i@_βA @_∧↓ @_∧@i@_∧A 8βAI 8βAI 8βAHT 6¬αa8@!∧P¬∩a∧h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓B`4h↓B`4h↓B`4h↓B`4X RBDX Q(Fh¬bq8A! (%↓a8%AA0&`⊂⊂β@⊂_&`⊂⊂β@⊂_&`⊂_α`⊂_&`⊂_α`⊂_&` ⊂α@ _&` _↓` _&` _↓` _&` _↓` _&`0⊂↓@0_&`0⊂↓@0_&`@ αi@_α↓@_&`P⊂α@i@_εi@_εi@_εi@_εi@_εi0(¬↓) 8∧↓i0(¬↓(T 7¬αa8@`8βR@p0βRA(βS0λ↓↓`4`↓@ 8↓S0λ↓A@4`↓@@ 0↓S0⊂↓A 4`↓@@0(↓S0_↓↓ 4`↓@`0 ↓S0_↓A4`↓A0_↓S0 ↓@`4`↓A _↓S0(↓@@4`↓A 0⊂↓S00↓@4`↓A@0λ↓S08↓ 4`↓A` λ↓R@p(β∩@p0αR@p8α⊃(Fx ¬"q8ααI@p%D 0 ∧↓ ¬↓ _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi ¬↓ ¬↓ 0 ∧↓ 1&βI`P"Q∞↓ ¬bpλπ∩B∀XλS 0@αS 0Hα∪ 0Pα∪ 0X↓S 0X↓S 0X↓S 0Pα∪ 0Hα∪ 0@αS!thπ∪!Dh↓S 4h↓S 4h↓S 4XβRA∀XβQ(Gλ ¬#A8ααI@p%D 0 ∧↓ ¬↓ _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _εi _α@`@_%`P ↓@i α@` %A@@%D @p'αj`_+↓
p_,k_"Q∞!0¬bpεRAtPλ∪08αS0Hα∪0P↓S0P↓S0P↓S0Hα∪08αS↓d`εS↓d`↓A`D`↓B 4`↓B 4`↓B 4`↓B 4`↓B 0_S0H↓@@4`↓B 0⊂↓R@p@β∩@p@β∩@pHα⊃(G_ ¬"q8αA` _&CI@x%Ap(%↓↓ _%a0_%a0_%i0_%A)@P'αJP+↓+_,@k⊂_%@A@_%a@_%a0_%↓↓⊂ %∧ x%`⊂H"Q∞A0Ebpλ
RBdP∩@08↓A@4P↓A`00↓R@08↓A@4P↓A`00↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓U5 ↓T!∃λ∧T!∀("≥"a8E`⊂8β↓i Hαα)08β↓iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP_¬iP ∧↓ `_∧ip α↓ p`(B
0"Q∞a0EbpλβαdPβBtXβαd`αα@Dh↓B@4h↓B@4hααDp↓B4p↓B4p↓B4x↓A@4x↓A@4x↓A@5↓A5↓A5↓A5λ↓@@5λ↓@@5λ↓@@5⊂↓@%⊂↓@%⊂β∀@e_α⊃(G8¬bq8↓A 0%↓A 0%↓A 0%@a`_%@a`_%@a`_&a@_&a@_&a@_&a@_&`@ αi@_↓A@0_&`00↓@iP⊂↓A@0⊂&@` ⊂↓@ _&@`⊂_↓`⊂_&@`⊂_↓`⊂_&@`⊂_↓`⊂_&@`⊂⊂α@⊂_'@⊂⊂α@⊂⊂'@⊂⊂α@⊂⊂'↓ @('↓` '@``_"Q∂↓ ¬bpλβ↓ dPβA tXβ↓ dhα↓@4p↓A 4pα`Dxα@5↓@ EβT U⊂α∀@EλαT e↓@ 5↓@@4x↓@`Dpα↓4p↓A@4h↓A`D`αα4PβαdPβA@tPβαd("≡"a8E`⊂0∧↓I @βAi00∧↓IP ∧@i`_∧↓ ` β↓ p α@j_α↓
↓@j⊂_↓↓
_@j 8)A*0(*j@_*j@_*j@_*j 8)↓j 8"Q∂! ¬bp⊂ ∩b4X R`0Xα∩`0X↓R`0P↓R`0Hα∃@E(α∃E_α∀`5⊂↓T Eα∪`Dpα∪ @P↓S 0X↓S0`↓R`@`↓RBDP
∩BD("εBa8E``x'D
x(` _αj_↓`@_(` _αj_↓`@_'@`0_'@`0_'@`0_'@`0P'`@P'`@P'`@_'αIPX&BiP_α@`P_&@`P_α@i@ α@`P_&``_α@i0(αβ 8↓C 0(αβλT
EBq8@b4`
∩bTXα↓ @(↓R@@8↓A 4P↓B0(↓R@0@↓A 4P↓B4P↓B4P↓B4P↓B↓$P↓B↓$P↓B↓$P↓B4P↓B4P↓B4P↓B4P↓B0(↓R@0@↓A 4Pα↓`0(↓R`@(α↓ 4X
SαDh Q(A` ¬#qPεj`_+i`P&βI1%AP8%↓`_A _β@` _%``_↓@i _β`0_%``_↓@i _α@`@_%`P_αi _α@`@_%`@ αi _α`P_%`@_α@i _α`P_%`0_βi _↓@``_%`0_βi @`` %A`P %D @p'αI`_&@iP_&@i`λ"Qαh EbpεRATPεS`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓S`4x↓RATPεRAT("∧"⊃(E`pH(αj⊂H*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@jP_*@i0⊂∧i β@i β↓ h%BiP8"Qβ∩`↔Ebp(β@@0pβ@@4hπβ↓d`πBatXα↓`PPα↓`TPαα@0Hαα@4P↓B`0H↓B`4P↓B`0H↓B`4P↓E`4X↓E`4XαE T`¬∧↓$p¬∧↓%¬∧↓%0αE U@↓E`5H↓E`5H↓E`4X↓β0H↓β4P↓C0@↓C4P↓B`0H↓B`4Pαα @Hαα DPλαB∧PπBatP↓@!⊂h↓@!∀(wD-⊗ 2[NFH3~,W⊂⊂⊂iU !Th>x⊂_mv 4[Lw_1ZVh2H
F(,λ∞GH8→.w⊂4]W⊂⊂≥W@:;aF07[NF00XlV⊂<]←_:@|α`*∀4fqHV@OX≠@OX≠@↔␈␈␈xz@⊃=@↓Pαf⊂↓9x{# ∧→L α⎇O0↓ε@@3_@ε↔}`_
↓ε01`u=@APαf⊂↓V_{↓# ∧→L β4∂0βε@@3_@πε>`8
↓ε01p8=A↓Pαf⊂↓m({α# ∧→L βh∂0¬ε@@3_@πn}`X
↓ε01↓hq=AAPαf⊂βY_{β# ∧→L λO0πε@@3_@c≡`x
↓ε01↓(&⎇B↓Pαf⊂¬5λ{∧# ∧→L
q∂0 ε@@3_@∞#≡a_
↓ε01↓`P⎇BAPαf⊂βK0{¬# ∧→L π→␈0ε@@3_@∞:≡a8
↓ε01↓`z⎇C↓Pαf⊂βP`{ε&@λ3_0
x←0
ε@@3_@∀|≡aX
↓ε01αP-⎇CAPαf⊂¬,0{π# ∧→L ¬2/0∂ε@@3_@ε>ax
↓ε01↓0P=D↓Pαf⊂∧λλ{λ# ∧→L ¬j∨0⊃ε@@3_@⊂π>b_
↓ε01↓8c⎇DAPαf⊂α>⊂{ # ∧→L εεo0∪ε@@3_@
≡}b8
↓ε01↓@o⎇E↓Pαf⊂β⊂0{
# ∧→L ε+←0∃ε@@3_@m≡bX
↓ε01↓Pα⎇EAPαf⊂β#@{# ∧→L π0O0↔ε@@3_@
⊗>bx
↓ε01↓P6=F↓Pαf⊂αβ`{# ∧→L ∧∃␈0→ε@@3_@λ=↑c_
↓ε01↓λ%⎇FAPαf⊂α~⊂{
# ∧→L ∧@?0≠ε@@3_@ ⊗↑c8
↓ε01↓⊂a⎇G↓Pαf⊂α0`{∞# ∧→L ∧o∨0≥ε@@3_@
0>cX
↓ε01↓Pq=GAPαf⊂βcλ{∂# ∧→L εb∨0∨ε@@3_@∂≠≡cx
↓ε01↓(∧=H↓Pαf⊂β2P{⊂# ∧→L ∧?0!ε@@3_@%↑d_
↓ε01λ↓⎇HAPαf⊂⊗0{⊃# ∧→L ;∨0#ε@@3_@↓∂≡d8
↓ε01⊂J⎇I↓Pαf⊂0 {∩# ∧→L o←0%ε@@3_@↓p≡dX
↓ε01 ¬⎇IAPαf⊂HP{∪# ∧→L ↓~␈0'ε@@3_@αe≡dx
↓ε010!⎇J↓Pαf⊂k0{∀# ∧→L ↓b∨0)ε@@3_@βf↑e_
↓ε01@
⎇JAPαf⊂↓π@{∃# ∧→L α→␈0+ε@@3_@∧R≡e8
↓ε01H`⎇K↓Pαf⊂↓'0{⊗# ∧→L α\←0-ε@@3_@¬Q↑eX
↓ε01↓X]⎇KAPαf⊂βlH{↔# ∧→L πα∂0/ε@@3_@∞K>ex
↓ε01↓pS⎇L↓Pαf⊂βF({_# ∧→L λ~∂01ε@@3_@⊂J}f_
↓ε01αλ@=LAPαf⊂∧≤x{→# ∧→L λE/03ε@@3_@⊃≡>f8
↓ε01α⊂`=M↓Pαf⊂∧1H{~# ∧→L λo/05ε@@3_@⊃l>fX
↓ε01α_w=MAPαf⊂∧E_{≠# ∧→L ∩/07ε@@3_@∩I}fx
↓ε01α(Y=N↓Pαf⊂∧`h{≤# ∧→L Jo09ε@@3_@∪0>g_
↓ε01α8⊃=NAPαf⊂∧vh{≥# ∧→L vO0;ε@@3_@∀¬>g8
↓ε01α@;=O↓Pαf⊂¬⊂λ{≡# ∧→L
+O0=ε@@3_@∀j>gX
↓ε01↓x9⎇OAPαf⊂βqp{∨# ∧→L πy∂0?ε@@3_@∞R↑gx
↓ε01↓h4} ⊗'⊂=xow{⎇x